What if Infinity Didn’t Exist?
scientificamerican.com·1d·
Discuss: Hacker News
⚙Complex ststems
Rod Burstall: In Memoriam
arxiv.org·14h·
Discuss: Lobsters
🌐Distributed Systems
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
⚙Complex ststems
Genie 3: A new frontier for world models
deepmind.google·17h·
Discuss: DEV, Hacker News
🛰️Geospatial
The Bus Station That Didn't Exist, and Other Data Epiphanies
nightingaledvs.com·1h·
Discuss: Hacker News
⚙Complex ststems
ChatGPT and the Meaning of Life: Guest Post by Harvey Lederman
scottaaronson.blog·1d·
Discuss: Hacker News
⚙Complex ststems
Why mathematicians want to destroy infinity – and may succeed
newscientist.com·1d·
Discuss: Hacker News
🌐Distributed Systems
D-Wave's open-source toolkit integrates quantum computing into AI training
siliconangle.com·14h·
Discuss: Hacker News
🧠Machine learning
A Baby's Guide to Anthropics
linch.substack.com·1d·
Discuss: Substack
⚙Complex ststems
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·1d·
Discuss: Hacker News
⚙Complex ststems
Axiom: Decentralized AI network that discovers, verifies, and archives truth
github.com·7h·
Discuss: Hacker News
⚙Complex ststems
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
🦀Rust
Pragmatism in Programming Proverbs
gingerbill.org·23h·
Discuss: Lobsters, Hacker News, r/programming
⚙Complex ststems
Bag of words, have mercy on us
experimental-history.com·11h·
Discuss: Hacker News
⚙Complex ststems
Real Life Is Uncertain. Consensus Should Be Too
muratbuffalo.blogspot.com·18h·
Discuss: Hacker News
🌐Distributed Systems
How the Lean language brings math to coding and coding to math
amazon.science·13h·
Discuss: Hacker News
🦀Rust
Efforts to Ground Physics in Math Are Opening the Secrets of Time
wired.com·2d·
Discuss: Hacker News, Hacker News, Hacker News
🌡Entropy
What Is a Belief (Part 2: Language, Truth, and Logic)
neonomos.substack.com·2d·
Discuss: Substack
⚙Complex ststems
Calcule
calcule.app·19h·
Discuss: Hacker News
🛰️Geospatial
I'm comparing human vs. LLM decision-making
barchukova.me·1d·
Discuss: Hacker News
🧠Machine learning